约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

关于Banach-值函数Henstock积分的一个注记

若函数f是定义在[a,b]上的抽象函数,{Ei}是[a,b]中互不相交的闭集列,如果这些Ei的并是[a,b],并且f在每个Ei上McShane可积,则在一定条件下,f在[a,b]上Henstock可积.     

热连轧棒材三切分轧制的实践

介绍萍乡钢铁有限责任公司三轧厂引进的三切铲轧制技术、主要设备概况、生产过程中存在的问题及改进措施：分析三线切分轧制稳定生产的关键是保证切分后轧件尺寸的均匀性，并给出了预切分轧件的偏移量与三线活套高度差的关系。     

浅析债务重组中的利息处理

现行制度、准则有关重组债务之利息的处理规范，与权责发生制等会计核算原则相违背，在债务重组日不确认任何利息，重组后债务的利息在重组日后再行处理，重组后债务在重组日的入帐金额仅为该新债务的本金，并增设“待转利息”科目以完善利息核算。     

Molecular dynamics study on the structure I helium hydrate

A 368- water molecule structure I gas hydrate, encased by the number of helium (He) molecules ranging from two to twenty-two, are calculated by molecular dynamical simulations. The potential TIP4P (transferable intermolecular potentical with four sites) is used for water interactions and Lennard-Jones for He-He and He-water interactions. He molecules do not affect the water lattice and can stabilize the hydrate when their concentration is small. A trough signature of He encased is found at 80～90 meV in the phonon density of states. He molecules prefer to be more off-center in 51262 cages. Heavier isotope He are energetically favorable to be filled in cages.     

芝麻素类型木脂素的合成研究Ⅳ2－苯基呋喃3，4－二羧酸二甲脂与格氏试剂反应的研究

研究了２－苯基呋喃－３，４－二羧酸二甲酯（２）与格氏试剂苯基溴化镁等（３）反应，生成酮基酸酯２－苯基－４－苯甲酰基呋喃－３－羧酸甲酯（１）的条件和方法。     

基于推广卡尔曼滤波的多站被动式融合跟踪

将推广卡尔曼滤波(EKF)算法与集中式融合跟踪算法相结合，用于被动式多站跟踪，给出了基于EKF的被动式多站集中式融合跟踪算法。该算法可解决被动式跟踪系统的可观测性及非线性问题。以三个站进行跟踪为例，进行了仿真研究，结果表明该算法具有满意的跟踪性能。     

二叉分裂算法的随机路径长度

用泊松变换的方法研究了由二叉分裂算法所产生的随机树上的随机路径的长度,首次得到了关于其数学期望的确切表达式.在此基础上,对该期望的渐近性状进行了分析,证明了当被分裂的集合的大小n趋于无穷时,随机路径长度的期望具有log2n的阶.     

规范认识危机与社会科学研究的方法论倾向——读黄宗智:《中国经济史中的悖论现象与当前的规范认识危机》

如果从方法论的角度来考察,黄宗智先生的《中国经济史中的悖论现象与当前的规范认识危机》一文无论是对于当代中国的历史学研究还是整个社会科学研究都具有十分重要的参考意义。这和他的学术经历和学术反思是紧密相关的。     

实物期权在折扣销售上的创新应用

介绍了实物期权定价技术,为中国电信“一元小灵通”建立了定价模型,探讨了其中所隐含的实物期权定价技术,并评价了其潜在的风险、盈利及取得盈利的相应条件。